Process calculus

Results: 249



#Item
211 1. Introduction The following notes aim to provide a very informal introduction to Stochastic Calculus, and especially to the Itˆ o integral and some of its applications. They owe a great deal to Dan Crisan’s Stochas

1. Introduction The following notes aim to provide a very informal introduction to Stochastic Calculus, and especially to the Itˆ o integral and some of its applications. They owe a great deal to Dan Crisan’s Stochas

Add to Reading List

Source URL: www.chiark.greenend.org.uk

Language: English - Date: 2006-03-07 17:35:45
212Equivalence of stochastic equations and martingale problems Thomas G. Kurtz ∗ Departments of Mathematics and Statistics University of Wisconsin - Madison 480 Lincoln Drive

Equivalence of stochastic equations and martingale problems Thomas G. Kurtz ∗ Departments of Mathematics and Statistics University of Wisconsin - Madison 480 Lincoln Drive

Add to Reading List

Source URL: www.math.wisc.edu

Language: English - Date: 2010-07-03 15:20:47
213University of Surrey On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Department of Computing

University of Surrey On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Department of Computing

Add to Reading List

Source URL: www.computing.surrey.ac.uk

Language: English - Date: 2013-05-25 17:08:22
214Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris

Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2012-10-01 07:25:57
215An artificial intelligence experiment in college math education Oliver Knill, Johnny Carlsson, Andrew Chi and Mark Lezama[removed], latest edit: [removed]Abstract To gain more insight into the process of teaching and

An artificial intelligence experiment in college math education Oliver Knill, Johnny Carlsson, Andrew Chi and Mark Lezama[removed], latest edit: [removed]Abstract To gain more insight into the process of teaching and

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2006-02-22 23:16:14
216What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract

What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:35:35
217Solid State Communications[removed]–588 www.elsevier.com/locate/ssc Classical and quantum pumping in closed systems Doron Cohen* Department of Physics, Ben-Gurion University, 84105 Beer-Sheva, Israel

Solid State Communications[removed]–588 www.elsevier.com/locate/ssc Classical and quantum pumping in closed systems Doron Cohen* Department of Physics, Ben-Gurion University, 84105 Beer-Sheva, Israel

Add to Reading List

Source URL: physics.bgu.ac.il

Language: English - Date: 2005-02-09 17:00:00
218What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract

What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:35:49
219Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1

Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1

Add to Reading List

Source URL: lms.uni-mb.si

Language: English - Date: 2006-10-10 04:27:40